next(${\it tab}$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if ptr(${\it tab}$) $<$z $\parallel$${\it tab}$$\parallel$  then inl $<$ptr(${\it tab}$), st{-}atom(${\it tab}$;ptr(${\it tab}$))$>$  else inr $\cdot$  fi